Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
851	IEEE Symposium on Computer Security Foundations, June 23-25, 2008 MONDAY JUNE 23 CSF Add to Reading List Source URL: ieee-security.org Language: English - Date: 2012-02-14 14:29:19 Computer science IEEE Symposium on Logic in Computer Science Year of birth missing Logic programming Frank Pfenning Logical framework Theoretical computer science Logic in computer science Programming language theory
852	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
853	4.Syntax This section presents an informal syntax for Joule. For a formal syntax, see Appendix B. Syntactic abstraction, the set of techniques for extending the Joule syntax, is discussed but not specified in this docum Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:55 Procedural programming languages Cross-platform software Lisp Lisp programming language Scheme Regular expression C ALGOL 68 SQL Software engineering Computing Programming language theory
854	Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:41 Formal languages Computing Automata theory Models of computation Parsing Lexical analysis Context-free grammar Parse tree Regular expression Programming language implementation Software engineering Compiler construction
855	FizzBuzz EDSAC Olve Maudal A 5 minute lightning talk at ACCU 2015, April 24, Bristol, UK https://youtu.be/x-vS0WcJyNM Add to Reading List Source URL: www.pvv.org Language: English - Date: 2015-04-24 21:06:27 Programming language theory Procedural programming languages Software engineering ALGOL 68 Computing Electronic Delay Storage Automatic Calculator University of Cambridge Computer Laboratory
856	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
857	Typing Example: Number Typing Example: Sum { } 5 : int Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Type theory Data types Type systems Functional languages Program analysis Type inference ATS Infinite loop ALGOL 68 Software engineering Programming language theory Computer programming
858	DOC Document Add to Reading List Source URL: www2.mvcc.edu Language: English - Date: 2013-12-29 08:47:38 C programming language Data types C++ Procedural programming languages Type theory C++ classes Sizeof C Pointer Software engineering Computing Computer programming
859	AutoCAD 2015 Advanced (Mixed Units) Days: 3 Prerequisites: Add to Reading List Source URL: www.lantecctc.com Language: English - Date: 2014-12-17 14:53:52 Autodesk 3D graphics software Product lifecycle management AutoCAD HTML AutoLISP HTML element Design Web Format Lisp Computing Programming language theory Software engineering
860	Crystal ReportsDesigner 2 Workshop Days: 2 Prerequisites: Working knowledge of Windows 2000/XP/Vista environment is required. Familiarity with relational database concepts (tables, fields and records) is stron Add to Reading List Source URL: www.lantecctc.com Language: English - Date: 2013-05-29 09:40:37 Scripting languages Command shells Procedural programming languages Crystal Reports Disk formatting AS/400 Control Language ALGOL 68 Variable Parameter Computing Software engineering Programming language theory

UPDATE